Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems
نویسندگان
چکیده
DEVS (Discrete Event Systems Specification) models are widely employed for simulation-based performance evaluation of discrete event systems. Performance modeling of such a system requires a pruning of a set of components, or objects, within the system in its subset which are eventually transformed into simulation models. Such modeling is objective-driven in that simulation models may be abstract enough to measure performance indices which reflect simulation objectives. This paper proposes a practical tool, called an OPI (Object-Performance Index) matrix which is useful for such pruning in the objective-driven DEVS modeling. It also presents transformation of the pruned objects to DEVS models for performance simulation. An overall procedure for the objective-driven DEVS modeling from given objectives is presented and a simple example is illustrated.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be t...
متن کاملAn integrated framework for automated simulation of SysML models using DEVS
System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common model. To validate complex system models defined in SysML, simulation is usually employed. There are numerous efforts to simulate SysML models using ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل